Declarative Approach Design Technique: Requirements Analysis

Application of triangulation approach in requirements engineering process: A study in analysis and design of the pediatrics epilepsy information system

Introduction: Requirements Engineering process is a crucial phase in software development. In order to achieve a successful design of health information systems (HISs), applying the best methodologies is essential. Therefore, the aim of the present study was to design pediatrics Epilepsy Information System (EPIS) as well as the use of triangulation approach in elicitation and validation of epil...

Enriching Requirements Analysis with the Personas Technique

Two separate processes for building usable systems —one from SE to develop the system and another from HCI to improve usability— are not easily manageable. Software development and usability design cannot be controlled and synchronized separately. Additionally, the likely overlap of activities across the two processes would reduce efficiency and increase costs. Milewski [15] claims that there a...

Inferring Declarative Requirements Specifications from Operational Scenarios

Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for requirements elicitation and explores the process of inferring formal specifications of goals and requirements from scenario descriptions. Scenarios are considered here as typical examples of system usage; they are prov...

Towards Automated Design, Analysis and Optimization of Declarative Curation Workflows

Data curation is increasingly important. Our previous work on a Kepler curation package has demonstrated advantages that come from automating data curation pipelines by using workflow systems. However, manually designed curation workflows can be error-prone and inefficient due to a lack of user understanding of the workflow system, misuse of actors, or human error. Correcting problematic workfl...

A Declarative Approach to